根据《计算机软件质量保证计划规范GB/T12504-1990》中关于软件质量评审和检查的规定，在软件验收时，验证代码和设计文档的一致性、接口规格说明的一致性、设计实现和功能需求的一致性等检查属于( )。